1. A practical guide to adopting the Universal Verification Methodology (UVM)
Author: Sharon Rosenberg, Kathleen A. Meade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs -- Verification.,Computer software -- Verification.,Debugging in computer science.
Classification :
QA76
.
76
.
V57
S537
2010
2. Computer Aided Verification
Author: \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47C6
2015
E-Book
,
3. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
Author: / edited by Isil Dillig, Serdar Tasiran.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
4. Data flow analysis :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Compilers (Computer programs) ; Data flow computing ; Software engineering ; Computer software ; Verification ;
5. Data flow analysis
Author: / Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Compilers (Computer programs),Data flow computing.,Software engineering.,Computer software--Verification
Classification :
QA
,
76
.
76
,.
C65
,
K54
,
2009
6. Data flow analysis
Author: Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs),Computer software-- Verification.,Data flow computing.,Software engineering.,Compilers (Computer programs),Computer software-- Verification.,COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,Data flow computing.,Software engineering.
7. Formal Methods for Industrial Critical Systems
Author: \ Manuel Núñez , Matthias Güdemann (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,
8. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
9. Formal methods for industrial critical systems :
Author: Darren Cofer, Alessandro Fantechi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
9
.
F67
I594
2008eb
10. Formal methods for industrial critical systems :
Author: Gwen Salaün, Bernhard Schätz (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
I58
2011
11. Formal modeling :
Author: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
Classification :
QA76
.
9
.
F67
F67
2011
12. Hardware and software
Author: / Hana Chockler, Alan J. Hu (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Software architecture--Congresses,Computer input-output equipment--Congresses,Computer software--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
I54
,
2008
13. Hardware and software
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: output equipment ; Congresses. ; Computer software ; Verification ; Congresses. ; -Computer programs ; Verification ; Congresses. ; Software architecture ; Congresses. ; Computer input
14. Hardware and software, verification and testing
Author: / Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer systems--Verification--Congresses,Computer software--Verification--Congresses,Computer programs--Verification--Congresses,Integrated circuits--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
I54
,
2006
15. Hardware and software, verification and testing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;
16. Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Author: Markus Muller-Olm
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Compilers )Computer programs(,، Computer software -- Verification
Classification :
QA
76
.
L28
Vol
.
1283
17. Open source identity management patterns and practices using openAM 10.x
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- Verification,Identification-- Computer programs,Online identities,Open source software
Classification :
GN192
K466564
2013
18. Program logics for certified compilers /
Author: Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs),Computer software-- Verification,Logic, Symbolic and mathematical
Classification :
QA76
.
76
.
V47
A65
2014
19. Software verification and validation for practitioners and managers /
Author: Steven R. Rakitin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Validation.,Computer software-- Verification.,COMPUTER PROGRAMS.,Computer software-- Validation.,Computer software-- Verification.,PROGRAM VERIFICATION (COMPUTERS),Qualitätskontrolle,SOFTWARE RELIABILITY.,Software.
Classification :
QA76
.
76
.
V47
R35
2001
20. Verification, Model Checking, and Abstract Interpretation
Author: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
Classification :
QA
76
.
76
.
V47
2015
E-Book
,
